Amorphous slicing of extended finite state machines

Slicing is useful for many Software Engineering applications and has been widely studied for three decades, but there has been comparatively little work on slicing Extended Finite State Machines (EFSMs). This paper introduces a set of dependency based EFSM slicing algorithms and an accompanying tool. We demonstrate that our algorithms are suitable for dependence based slicing. We use our tool to conduct experiments on ten EFSMs, including benchmarks and industrial EFSMs. Ours is the first empirical study of dependence based program slicing for EFSMs. Compared to the only previously published dependence based algorithm, our average slice is smaller 40% of the time and larger only 10% of the time, with an average slice size of 35% for termination insensitive slicing

Control dependence for extended finite state machines.

Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challenges that currently presents a barrier to wider application of state machine slicing is the problem of determining control dependence. We survey existing related denitions, introducing a new denition that subsumes one and extends another. We illustrate that by using this new denition our slices respect Weiser slicing's termination behaviour. We prove results that clarify the relationships between our denition and older ones, following this up with examples to motivate the need for these dierences

The Lavic Lake Fault: A Long-Term Cumulative Slip Analysis via Combined Field Work and Thermal Infrared Hyperspectral Airborne Remote Sensing

The 1999 Hector Mine earthquake ruptured to the surface in eastern California, with >5 m peak right-lateral slip on the Lavic Lake fault. The cumulative offset and geologic slip rate of this fault are not well defined, which inhibits tectonic reconstructions and risk assessment of the Eastern California Shear Zone (ECSZ). With thermal infrared hyperspectral airborne imagery, field data, and auxiliary information from legacy geologic maps, we created lithologic maps of the area using supervised and unsupervised classifications of the remote sensing imagery. We optimized a data processing sequence for supervised classifications, resulting in lithologic maps over a test area with an overall accuracy of 71 ± 1% with respect to ground-truth geologic mapping. Using all of the data and maps, we identified offset bedrock features that yield piercing points along the main Lavic Lake fault and indicate a 1036 +27/−26 m net slip, with 1008 +14/−17 m horizontal and 241 +51/−47 m vertical components. For the contribution from distributed shear, modern off-fault deformation values from another study imply a larger horizontal slip component of 1276 +18/−22 m. Within the constraints, we estimate a geologic slip rate of <4 mm/yr, which does not increase the sum geologic Mojave ECSZ rate to current geodetic values. Our result supports previous suggestions that transient tectonic activity in this area may be responsible for the discrepancy between long-term geologic and present-day geodetic rates

Scientific and Technical Assistance for the Deployment of a Flexible Airborne Spectrometer System During C-MAPExp and COMEX

The COMEX (CO2 and MEthane eXperiment) campaign supports the mission definition of CarbonSat and HyspIRI (Hyperspectral Infrared Imager) by providing representative airborne remote sensing data MAMAP (Methane Airborne MAPper) for CarbonSat; the Airborne Visual InfraRed Imaging Spectrometer (Classic & Next Generation) AVIRISC/AVIRISNG for HyspIRI as well as ground-based and airborne insitu data. The objectives of the COMEX campaign activities are (see Campaign Implementation Plan (RD4)): 1. Investigate spatial/spectral resolution tradeoffs for CH4 anomaly detection and flux inversion by comparison of MAMAPderived emission estimates with AVIRIS/AVIRISNG derived data. 2. Evaluate sunglint observation geometry on CH4 retrievals for marine sources. 3. Characterize the effect of Surface Spectral Reflectance (SSR) heterogeneity on trace gas retrievals of CO2 and CH4 for medium and lowresolution spectrometry. 4. Identify benefits from joint SWIR/TIR (ShortWave InfraRed/Thermal InfraRed ) data for trace gas detection and retrieval by comparison of MAMAP and AVIRIS/AVIRISNG NIR/SWIR data with MAKO (Aerospace Corp.)TIR data. The ability to derive emission source strength for a range of strong emitting targets by remote sensing will be evaluated from combined AVIRISNG and MAMAP data, adding significant value to the HyspIRI campaign AVIRISNG dataset. The data will be used to quantify anomalies in atmospheric CO2 and CH4 from strong local greenhouse gas sources e.g. localized industrial complexes, landfills, etc. and to derive CO2 and CH4 emissions estimates from atmospheric gradient measurements. The original campaign concept was developed by University of Bremen and BRI. The COMEX campaign is funded bilaterally by NASA and ESA (European Space Agency). Whereas NASA funds the US part of the project via a contract with Dr. Ira Leifer, BRI (Bubbleology Research International), the contribution of MAMAP to the COMEX campaign is funded by ESA within the COMEXE project and NASA with respect to a 50 percent contribution to the flight-related costs of flying MAMAP on a US aircraft. The Data Acquisition Report (RD9) describes the instrumentation used, the measurements made by the team during the COMEX campaign in May/June 2014 and August/September 2014 in California, and an initial assessment of the data quality

Field Measurements of Terrestrial and Martian Dust Devils

Surface-based measurements of terrestrial and martian dust devils/convective vortices provided from mobile and stationary platforms are discussed. Imaging of terrestrial dust devils has quantified their rotational and vertical wind speeds, translation speeds, dimensions, dust load, and frequency of occurrence. Imaging of martian dust devils has provided translation speeds and constraints on dimensions, but only limited constraints on vertical motion within a vortex. The longer mission durations on Mars afforded by long operating robotic landers and rovers have provided statistical quantification of vortex occurrence (time-of-sol, and recently seasonal) that has until recently not been a primary outcome of more temporally limited terrestrial dust devil measurement campaigns. Terrestrial measurement campaigns have included a more extensive range of measured vortex parameters (pressure, wind, morphology, etc.) than have martian opportunities, with electric field and direct measure of dust abundance not yet obtained on Mars. No martian robotic mission has yet provided contemporaneous high frequency wind and pressure measurements. Comparison of measured terrestrial and martian dust devil characteristics suggests that martian dust devils are larger and possess faster maximum rotational wind speeds, that the absolute magnitude of the pressure deficit within a terrestrial dust devil is an order of magnitude greater than a martian dust devil, and that the time-of-day variation in vortex frequency is similar. Recent terrestrial investigations have demonstrated the presence of diagnostic dust devil signals within seismic and infrasound measurements; an upcoming Mars robotic mission will obtain similar measurement types

Dust Devil Populations and Statistics

The highly-skewed diameter and pressure drop distributions of dust devils on Earth and Mars are noted, and challenges of presenting and comparing different types of observations are discussed. The widely- held view that Martian dust devils are larger than Earth\u27s is critically-assessed: the question is confounded somewhat by different observation techniques, but some indication of a ~3x larger population on Mars is determined. The largest and most intense (in a relative pressure sense) devils recorded are on Mars, although the largest reported number density is on Earth. The difficulties of concepts used in the literature of \u27average\u27 diameter, pressure cross section, and area fraction are noted in the context of estimating population-integral effects such as dust lifting

Asian dust events of April 1998

On April 15 and 19, 1998, two intense dust storms were generated over the Gobi desert by springtime low-pressure systems descending from the northwest. The windblown dust was detected and its evolution followed by its yellow color on SeaWiFS satellite images, routine surface-based monitoring, and through serendipitous observations. The April 15 dust cloud was recirculating, and it was removed by a precipitating weather system over east Asia. The April 19 dust cloud crossed the Pacific Ocean in 5 days, subsided to the surface along the mountain ranges between British Columbia and California, and impacted severely the optical and the concentration environments of the region. In east Asia the dust clouds increased the albedo over the cloudless ocean and land by up to 10-20%, but it reduced the near-UNI cloud reflectance, causing a yellow coloration of all surfaces. The yellow colored backscattering by the dust eludes a plausible explanation using simple Mie theory with constant refractive index. Over the West Coast the dust layer has increased the spectrally uniform optical depth to about 0.4, reduced the direct solar radiation by 30-40%, doubled the diffuse radiation, and caused a whitish discoloration of the blue sky. On April 29 the average excess surface-level dust aerosol concentration over the valleys of the West Coast was about 20-50 mug/m(3) with local peaks \u3e 100 mug/m(3). The dust mass mean diameter was 2-3 mum, and the dust chemical fingerprints were evident throughout the West Coast and extended to Minnesota. The April 1998 dust event has impacted the surface aerosol concentration 2-4 times more than any other dust event since 1988. The dust events were observed and interpreted by an ad hoc international web-based virtual community. It would be useful to set up a community-supported web-based infrastructure to monitor the global aerosol pattern for such extreme aerosol events, to alert and to inform the interested communities, and to facilitate collaborative analysis for improved air quality and disaster management

History and Applications of Dust Devil Studies

Studies of dust devils, and their impact on society, are reviewed. Dust devils have been noted since antiquity, and have been documented in many countries, as well as on the planet Mars. As time-variable vortex entities, they have become a cultural motif. Three major stimuli of dust devil research are identified, nuclear testing, terrestrial climate studies, and perhaps most significantly, Mars research. Dust devils present an occasional safety hazard to light structures and have caused several deaths